hasten the execution of a thing - German English Dictionary